.inline{
    display: inline;
}

ul.inline{
    display: inline;
}

ul.inline li{
    display: inline;
}

ul.menu{
    list-style: none;
}

ul.menu li{
    list-style: none;
}

ul.menu li a{
    padding: 2px;
    padding-left: 8px;
    padding-right: 8px;
}

div.menutop{
    
}

div.menutop span.title{
    font-size: x-large;
    font-weight: bold;
    font-family: monospace;
}

div.menutop span.hello{
    padding: 2px;
    margin-left: 10px;
    margin-right: 10px;
    border-left: 1px solid silver;
    border-right: 1px solid silver;
}

.helloUsername{
    color: silver;
}

.helloRealname{
}

.icon{
    height: 20px;
    position: relative;
    top: 4px;
}

.logo{
    padding: 1px;
    border: 1px solid silver;
    margin: 10px;
}